-
1 algebraic predicate
Большой англо-русский и русско-английский словарь > algebraic predicate
-
2 algebraic predicate
Математика: алгебраический предикат -
3 algebraic predicate
English-Russian electronics dictionary > algebraic predicate
-
4 algebraic predicate
The New English-Russian Dictionary of Radio-electronics > algebraic predicate
-
5 algebraic predicate
-
6 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
7 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
8 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
9 алгебраический предикат
Большой англо-русский и русско-английский словарь > алгебраический предикат
-
10 calculus
-
11 logic
-
12 complement
1) дополнение || дополнять2) вчт поразрядное дополнение•- complement of event
- complement of graph
- complement of predicate
- algebraic complement
- analytical complement
- Boolean complement
- cable complement
- combinatorial complement
- connected complement
- countable complement
- diminished complement
- disjunctive complement
- invariant complement
- nine's complement
- noughts complement
- one's complement
- orthogonal complement
- radix complement
- radix-minus-one complement
- relative complement
- set complement
- ten's complement
- topological complement
- true complement
- tube complement
- two's complement
- zero complement -
13 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expression -
14 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta symbol
- delta Kronecker symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonemic symbol
- phonematic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbol
- δ symbols -
15 complement
1) дополнение || дополнять2) вчт. поразрядное дополнение•- analytical complement
- Boolean complement
- cable complement
- combinatorial complement
- complement of digraph
- complement of event
- complement of graph
- complement of predicate
- connected complement
- countable complement
- diminished complement
- disjunctive complement
- invariant complement
- nine's complement
- noughts complement
- one's complement
- orthogonal complement
- radix complement
- radix-minus-one complement
- relative complement
- set complement
- ten's complement
- topological complement
- true complement
- tube complement
- two's complement
- zero complementThe New English-Russian Dictionary of Radio-electronics > complement
-
16 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт. контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expressionThe New English-Russian Dictionary of Radio-electronics > expression
-
17 function
1) функция2) функционировать; находиться в работоспособном состоянии3) выполнять функцию; играть роль4) (дополнительное) функциональное устройство, проф. функция ( в стандарте USB)5) вчт. отображение || отображать•- actuating transfer function
- additive function
- additive/multiplicative function
- admittance function
- advanced communication function
- affine Boolean function
- aggregate function
- algebraic function
- all-pass transfer function
- all-pole function
- all-zero function
- alternating function
- ambiguity function
- amplitude distribution function
- amplitude function
- AM-tive function additive/multiplicative function
- anode work function
- aperture phase function
- apodizing function
- application program function
- autocorrelation function
- automatic azimuth alignment function
- band-limited function
- base station control function
- basis function
- Bellman function
- bent function
- Bessel function of imaginary argument
- Bessel function
- beta function
- bijection function
- bijective function
- binary activation function
- binary sigmoid function
- binate function
- bipolar sigmoid function
- bi-state function
- bivariate distribution function
- Boolean function
- Bose-Einstein distribution function
- bounded function
- boxcar function
- Brillouin function
- built-in function
- Butterworth function
- carpet function
- carrier function
- cathode work function
- characteristic function
- circular function
- closed function
- closed-loop transfer function
- clutching function
- coherence function
- color matching functions
- comb function
- combination function
- combining function
- competitive function
- complementary error function
- complementary function
- composite function
- computable function
- concentrated likelihood function
- continuous function
- contrast transfer function
- control function
- convolution function
- correlation function
- cost function
- covariance generating function
- criterion function
- cross-correlation function - current potential function
- current transfer function
- curried function
- data communications function
- data-path function
- decision function
- degate function
- degating function
- delta function
- demand function
- density function
- descrambling function
- describing function
- difference transfer function
- differentiable function
- digamma function
- Dirac delta function
- Dirac function
- disconnect-reconnect function
- discriminant function
- distribution function
- driving-point function
- eikonal function
- electron wave function
- embedding function
- encryption function
- ergodic function
- error function
- excitation function
- explicit function
- exponential function
- extensional function
- external function
- failure density function
- feedback transfer function
- Fermi function
- Fermi-Dirac distribution function
- force function
- forward transfer function
- frequency function
- frequency-generating function
- frequency-response function
- friend function
- FS function
- full-speed function
- fuzzy function
- fuzzy objective function
- fuzzy utility function
- gage function
- Gaussian function
- Gaussian radial basis function
- generalized function
- generic function
- global implicit function
- global inverse function
- Green functions
- Green's function
- Hamilton function
- Hankel function
- hard limit activation function - hazard function
- head-related transfer function
- Heaviside step function
- Huber function
- hyperbolic function
- hyperbolic tangent activation function
- idempotent function
- image function
- impedance function
- implicit function
- injection function
- injective function
- inline function
- intensional function
- interference function
- interworking function
- inverse distribution function
- inverse function
- invertible mapping function
- inverting function
- kernel function
- Lagrange's function
- Langevin function
- latent function
- Legendre associated function of the first kind
- Legendre associated function of the second kind
- Legendre function of the first kind
- Legendre function of the second kind
- lexical function
- likelihood function
- line search function
- linear function
- linear logic function
- logic function
- logistic function
- logistic sigmoid function
- log-likelihood function
- log-linear function
- log-log function
- look-up function
- loss function
- low-speed function
- LS function
- luminosity function
- macro function
- main function
- maintenance entity function
- majorized function
- majorizing function
- mapping function
- Markov function
- mathematical function
- member function
- membership function
- memo function
- memoised function
- memoized function
- minorized function
- minorizing function
- modified Bessel function
- modular hash-function
- modulating function
- modulation transfer function
- moment-generating function
- monotonic function
- Morse function
- multi-input multi-output transfer function
- multi-valued function
- multivariate distribution function
- mutual coherence function
- natural trigonometric function
- never-decreasing function
- never-increasing function
- non-decreasing function
- non-increasing function
- nonlinear function
- normalized Gaussian radial basis function
- normalized radial basis functions with equal heights
- normalized radial basis functions with equal volumes
- normalized radial basis functions with equal widths and heights
- normalized radial basis functions with equal widths
- normalized radial basis functions with unequal widths and heights
- objective function
- one-one function
- one-to-one function
- one-way function
- one-way hash function
- open-loop transfer function
- optical transfer function
- ordinary Gaussian radial basis function
- ordinary radial basis functions with equal widths
- ordinary radial basis functions with unequal widths
- orthogonal functions
- overlapped functions
- partial autocorrelation function
- penalty function
- perfect hash-function
- phase transfer function
- photoelectric work function
- photopic response function
- piecewise constant function
- piecewise linear function
- piecewise polynomial function
- Pierce function
- point-spread function
- polynomial function
- positive linear function
- postsynaptic potential function
- power function of test
- power function
- predefined function
- predicate function
- probability density function
- probability function
- probability mass function
- production function
- projection function
- projective function
- propagation function
- propositional function
- PSP function
- pulsating function
- pure virtual function
- quadratic error function
- radial basis function
- radial combination function
- ramp function
- range weighting function
- reactance function
- register function
- regression function
- resolvent function
- response function
- restricted function
- risk function
- saturating linear function
- scalar function
- scaling function
- scattering function
- scedastic function
- Schrödinger wave function
- scrambling function
- screen size-viewing distance function
- self-inverse function
- semilinear function
- sensing function
- sentential function
- shape function
- sigmoid activation function
- sigmoid function
- sign function
- signal function
- signum activation function
- signum function
- smooth function
- socket library function
- softmax activation function
- spectral density function
- spectral function
- spectral radiance function
- spline function
- spot function
- spread function
- square-integrable function
- square-law transfer function
- squashed sign function
- squashing function
- state function
- state query function
- steering function
- step function
- stream function
- summing function
- support entity function
- support function
- supported function
- surjection function
- surjective function
- survival function
- switch function
- switching function
- switch-type function
- symmetric saturating linear function
- tame function
- tan-sigmoid activation function
- target function
- tensor function
- tesseral function
- testing function
- tetragamma function
- thermionic work function
- threshold function
- through transfer function
- transcendental function
- transfer function
- trial function
- trigamma function
- trigonometric function
- tri-state function
- typematic function
- unate function
- uncurried function
- unit impulse function
- unit step function
- unsupported function
- user-defined function
- utility function
- vector function
- virtual function
- visibility function
- voltage potential function
- voltage transfer function
- Walsh functions
- wave function
- wave-number limited function
- weighting function
- window function
- work functionThe New English-Russian Dictionary of Radio-electronics > function
-
18 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт. идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta Kronecker symbol
- delta symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonematic symbol
- phonemic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- symbol of operator
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbolThe New English-Russian Dictionary of Radio-electronics > symbol
-
19 constant
1) постоянная (величина), константа || постоянный, константный2) неизменный, стабильный•constant in magnitude — постоянный по величине, постоянный по модулю
translate by a constant — увеличивать на постоянную величину (напр. элементы матрицы)
-
20 generalization
1) обобщение, генерализация2) концептуальное описание; общая характеристика•- multivariate generalizationgeneralization by induction — обобщение по индукции, индуктивное обобщение
- 1
- 2
См. также в других словарях:
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
History of logic — Philosophy ( … Wikipedia
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia